Expression Value is Always Zero (EVAZ)

Description:

EVAZ detects that for the given operands the expression value is always zero. This can be caused by overflow for arithmetic operations, by shifting all significant bits in the shift operations, or clearing all bits by the bit AND operation.

Incorrect:

int align(int val) {
    const int alignment = 1;
    val += alignment - 1;
    val -= (val - 1) % alignment;
    return val;
}